Comprehensive Border Bases for Zero Dimensional Parametric Polynomial Ideals
نویسندگان
چکیده
In this paper, we extend the idea of comprehensive Gröbner bases given by Weispfenning (1992) to border bases for zero dimensional parametric polynomial ideals. For this, we introduce a notion of comprehensive border bases and border system, and prove their existence even in the cases where they do not correspond to any term order. We further present algorithms to compute comprehensive border bases and border system. Finally, we study the relation between comprehensive Gröbner bases and comprehensive border bases w.r.t. a term order and give an algorithm to compute such comprehensive border bases from comprehensive Gröbner bases.
منابع مشابه
Module Border Bases
In this paper, we generalize the notion of border bases of zerodimensional polynomial ideals to the module setting. To this end, we introduce order modules as a generalization of order ideals and module border bases of submodules with finite codimension in a free module as a generalization of border bases of zero-dimensional ideals in the first part of this paper. In particular, we extend the d...
متن کاملOn Border Basis and Gröbner Basis Schemes
Hilbert schemes of zero-dimensional ideals in a polynomial ring can be covered with suitable affine open subschemes whose construction is achieved using border bases. Moreover, border bases have proved to be an excellent tool for describing zero-dimensional ideals when the coefficients are inexact. And in this situation they show a clear advantage with respect to Gröbner bases which, neverthele...
متن کاملToric Border Bases
We extend the theory and the algorithms of Border Bases to systems of Laurent polynomial equations, defining “toric” roots. Instead of introducing new variables and new relations to saturate by the variable inverses, we propose a more efficient approach which works directly with the variables and their inverse. We show that the commutation relations and the inversion relations characterize tori...
متن کاملSubideal border bases
In modeling physical systems, it is sometimes useful to construct border bases of 0-dimensional polynomial ideals which are contained in the ideal generated by a given set of polynomials. We define and construct such subideal border bases, provide some basic properties and generalize a suitable variant of the Buchberger-Möller algorithm as well as the AVI-algorithm of [5] to the subideal settin...
متن کاملA Survey of Primary Decomposition using GrSbner Bases
A Survey of Primary Decomposition using GrSbner Bases MICHELLE WILSON Submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of Master of Science We present a survey of primary decomposition of ideals in a noetherian commutative polynomial ring R[x] = R[xi,..., x,]. With the use of ideal operations introduced and the lexicographical Gr6bner bases of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1312.0453 شماره
صفحات -
تاریخ انتشار 2013